3.525 \(\int \left (a^2+2 a b x^n+b^2 x^{2 n}\right )^{3/2} \, dx\)

Optimal. Leaf size=206 \[ \frac{b^6 x^{3 n+1} \left (a^2+2 a b x^n+b^2 x^{2 n}\right )^{3/2}}{(3 n+1) \left (a b+b^2 x^n\right )^3}+\frac{3 a b^5 x^{2 n+1} \left (a^2+2 a b x^n+b^2 x^{2 n}\right )^{3/2}}{(2 n+1) \left (a b+b^2 x^n\right )^3}+\frac{3 a^2 b^4 x^{n+1} \left (a^2+2 a b x^n+b^2 x^{2 n}\right )^{3/2}}{(n+1) \left (a b+b^2 x^n\right )^3}+\frac{a^3 x \left (a^2+2 a b x^n+b^2 x^{2 n}\right )^{3/2}}{\left (a+b x^n\right )^3} \]

[Out]

(a^3*x*(a^2 + 2*a*b*x^n + b^2*x^(2*n))^(3/2))/(a + b*x^n)^3 + (3*a^2*b^4*x^(1 +
n)*(a^2 + 2*a*b*x^n + b^2*x^(2*n))^(3/2))/((1 + n)*(a*b + b^2*x^n)^3) + (3*a*b^5
*x^(1 + 2*n)*(a^2 + 2*a*b*x^n + b^2*x^(2*n))^(3/2))/((1 + 2*n)*(a*b + b^2*x^n)^3
) + (b^6*x^(1 + 3*n)*(a^2 + 2*a*b*x^n + b^2*x^(2*n))^(3/2))/((1 + 3*n)*(a*b + b^
2*x^n)^3)

_______________________________________________________________________________________

Rubi [A]  time = 0.120441, antiderivative size = 206, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.083 \[ \frac{b^6 x^{3 n+1} \left (a^2+2 a b x^n+b^2 x^{2 n}\right )^{3/2}}{(3 n+1) \left (a b+b^2 x^n\right )^3}+\frac{3 a b^5 x^{2 n+1} \left (a^2+2 a b x^n+b^2 x^{2 n}\right )^{3/2}}{(2 n+1) \left (a b+b^2 x^n\right )^3}+\frac{3 a^2 b^4 x^{n+1} \left (a^2+2 a b x^n+b^2 x^{2 n}\right )^{3/2}}{(n+1) \left (a b+b^2 x^n\right )^3}+\frac{a^3 x \left (a^2+2 a b x^n+b^2 x^{2 n}\right )^{3/2}}{\left (a+b x^n\right )^3} \]

Antiderivative was successfully verified.

[In]  Int[(a^2 + 2*a*b*x^n + b^2*x^(2*n))^(3/2),x]

[Out]

(a^3*x*(a^2 + 2*a*b*x^n + b^2*x^(2*n))^(3/2))/(a + b*x^n)^3 + (3*a^2*b^4*x^(1 +
n)*(a^2 + 2*a*b*x^n + b^2*x^(2*n))^(3/2))/((1 + n)*(a*b + b^2*x^n)^3) + (3*a*b^5
*x^(1 + 2*n)*(a^2 + 2*a*b*x^n + b^2*x^(2*n))^(3/2))/((1 + 2*n)*(a*b + b^2*x^n)^3
) + (b^6*x^(1 + 3*n)*(a^2 + 2*a*b*x^n + b^2*x^(2*n))^(3/2))/((1 + 3*n)*(a*b + b^
2*x^n)^3)

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 18.1789, size = 194, normalized size = 0.94 \[ \frac{12 a^{3} b n^{3} x \sqrt{a^{2} + 2 a b x^{n} + b^{2} x^{2 n}}}{\left (n + 1\right ) \left (2 n + 1\right ) \left (3 n + 1\right ) \left (2 a b + 2 b^{2} x^{n}\right )} + \frac{6 a^{2} n^{2} x \sqrt{a^{2} + 2 a b x^{n} + b^{2} x^{2 n}}}{\left (n + 1\right ) \left (2 n + 1\right ) \left (3 n + 1\right )} + \frac{3 n x \left (2 a^{2} + 2 a b x^{n}\right ) \sqrt{a^{2} + 2 a b x^{n} + b^{2} x^{2 n}}}{2 \left (2 n + 1\right ) \left (3 n + 1\right )} + \frac{x \left (a^{2} + 2 a b x^{n} + b^{2} x^{2 n}\right )^{\frac{3}{2}}}{3 n + 1} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((a**2+2*a*b*x**n+b**2*x**(2*n))**(3/2),x)

[Out]

12*a**3*b*n**3*x*sqrt(a**2 + 2*a*b*x**n + b**2*x**(2*n))/((n + 1)*(2*n + 1)*(3*n
 + 1)*(2*a*b + 2*b**2*x**n)) + 6*a**2*n**2*x*sqrt(a**2 + 2*a*b*x**n + b**2*x**(2
*n))/((n + 1)*(2*n + 1)*(3*n + 1)) + 3*n*x*(2*a**2 + 2*a*b*x**n)*sqrt(a**2 + 2*a
*b*x**n + b**2*x**(2*n))/(2*(2*n + 1)*(3*n + 1)) + x*(a**2 + 2*a*b*x**n + b**2*x
**(2*n))**(3/2)/(3*n + 1)

_______________________________________________________________________________________

Mathematica [A]  time = 0.0978857, size = 122, normalized size = 0.59 \[ \frac{x \sqrt{\left (a+b x^n\right )^2} \left (a^3 \left (6 n^3+11 n^2+6 n+1\right )+3 a^2 b \left (6 n^2+5 n+1\right ) x^n+3 a b^2 \left (3 n^2+4 n+1\right ) x^{2 n}+b^3 \left (2 n^2+3 n+1\right ) x^{3 n}\right )}{(n+1) (2 n+1) (3 n+1) \left (a+b x^n\right )} \]

Antiderivative was successfully verified.

[In]  Integrate[(a^2 + 2*a*b*x^n + b^2*x^(2*n))^(3/2),x]

[Out]

(x*Sqrt[(a + b*x^n)^2]*(a^3*(1 + 6*n + 11*n^2 + 6*n^3) + 3*a^2*b*(1 + 5*n + 6*n^
2)*x^n + 3*a*b^2*(1 + 4*n + 3*n^2)*x^(2*n) + b^3*(1 + 3*n + 2*n^2)*x^(3*n)))/((1
 + n)*(1 + 2*n)*(1 + 3*n)*(a + b*x^n))

_______________________________________________________________________________________

Maple [A]  time = 0.024, size = 138, normalized size = 0.7 \[{\frac{{a}^{3}x}{a+b{x}^{n}}\sqrt{ \left ( a+b{x}^{n} \right ) ^{2}}}+{\frac{{b}^{3}x \left ({x}^{n} \right ) ^{3}}{ \left ( a+b{x}^{n} \right ) \left ( 1+3\,n \right ) }\sqrt{ \left ( a+b{x}^{n} \right ) ^{2}}}+3\,{\frac{\sqrt{ \left ( a+b{x}^{n} \right ) ^{2}}a{b}^{2}x \left ({x}^{n} \right ) ^{2}}{ \left ( a+b{x}^{n} \right ) \left ( 1+2\,n \right ) }}+3\,{\frac{\sqrt{ \left ( a+b{x}^{n} \right ) ^{2}}{a}^{2}bx{x}^{n}}{ \left ( a+b{x}^{n} \right ) \left ( 1+n \right ) }} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((a^2+2*a*b*x^n+b^2*x^(2*n))^(3/2),x)

[Out]

((a+b*x^n)^2)^(1/2)/(a+b*x^n)*a^3*x+((a+b*x^n)^2)^(1/2)/(a+b*x^n)*b^3/(1+3*n)*x*
(x^n)^3+3*((a+b*x^n)^2)^(1/2)/(a+b*x^n)*a*b^2/(1+2*n)*x*(x^n)^2+3*((a+b*x^n)^2)^
(1/2)/(a+b*x^n)*a^2*b/(1+n)*x*x^n

_______________________________________________________________________________________

Maxima [A]  time = 0.755722, size = 136, normalized size = 0.66 \[ \frac{{\left (2 \, n^{2} + 3 \, n + 1\right )} b^{3} x x^{3 \, n} + 3 \,{\left (3 \, n^{2} + 4 \, n + 1\right )} a b^{2} x x^{2 \, n} + 3 \,{\left (6 \, n^{2} + 5 \, n + 1\right )} a^{2} b x x^{n} +{\left (6 \, n^{3} + 11 \, n^{2} + 6 \, n + 1\right )} a^{3} x}{6 \, n^{3} + 11 \, n^{2} + 6 \, n + 1} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b^2*x^(2*n) + 2*a*b*x^n + a^2)^(3/2),x, algorithm="maxima")

[Out]

((2*n^2 + 3*n + 1)*b^3*x*x^(3*n) + 3*(3*n^2 + 4*n + 1)*a*b^2*x*x^(2*n) + 3*(6*n^
2 + 5*n + 1)*a^2*b*x*x^n + (6*n^3 + 11*n^2 + 6*n + 1)*a^3*x)/(6*n^3 + 11*n^2 + 6
*n + 1)

_______________________________________________________________________________________

Fricas [A]  time = 0.275877, size = 176, normalized size = 0.85 \[ \frac{{\left (2 \, b^{3} n^{2} + 3 \, b^{3} n + b^{3}\right )} x x^{3 \, n} + 3 \,{\left (3 \, a b^{2} n^{2} + 4 \, a b^{2} n + a b^{2}\right )} x x^{2 \, n} + 3 \,{\left (6 \, a^{2} b n^{2} + 5 \, a^{2} b n + a^{2} b\right )} x x^{n} +{\left (6 \, a^{3} n^{3} + 11 \, a^{3} n^{2} + 6 \, a^{3} n + a^{3}\right )} x}{6 \, n^{3} + 11 \, n^{2} + 6 \, n + 1} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b^2*x^(2*n) + 2*a*b*x^n + a^2)^(3/2),x, algorithm="fricas")

[Out]

((2*b^3*n^2 + 3*b^3*n + b^3)*x*x^(3*n) + 3*(3*a*b^2*n^2 + 4*a*b^2*n + a*b^2)*x*x
^(2*n) + 3*(6*a^2*b*n^2 + 5*a^2*b*n + a^2*b)*x*x^n + (6*a^3*n^3 + 11*a^3*n^2 + 6
*a^3*n + a^3)*x)/(6*n^3 + 11*n^2 + 6*n + 1)

_______________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((a**2+2*a*b*x**n+b**2*x**(2*n))**(3/2),x)

[Out]

Timed out

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 0.288559, size = 371, normalized size = 1.8 \[ \frac{6 \, a^{3} n^{3} x{\rm sign}\left (b x^{n} + a\right ) + 2 \, b^{3} n^{2} x e^{\left (3 \, n{\rm ln}\left (x\right )\right )}{\rm sign}\left (b x^{n} + a\right ) + 9 \, a b^{2} n^{2} x e^{\left (2 \, n{\rm ln}\left (x\right )\right )}{\rm sign}\left (b x^{n} + a\right ) + 18 \, a^{2} b n^{2} x e^{\left (n{\rm ln}\left (x\right )\right )}{\rm sign}\left (b x^{n} + a\right ) + 11 \, a^{3} n^{2} x{\rm sign}\left (b x^{n} + a\right ) + 3 \, b^{3} n x e^{\left (3 \, n{\rm ln}\left (x\right )\right )}{\rm sign}\left (b x^{n} + a\right ) + 12 \, a b^{2} n x e^{\left (2 \, n{\rm ln}\left (x\right )\right )}{\rm sign}\left (b x^{n} + a\right ) + 15 \, a^{2} b n x e^{\left (n{\rm ln}\left (x\right )\right )}{\rm sign}\left (b x^{n} + a\right ) + 6 \, a^{3} n x{\rm sign}\left (b x^{n} + a\right ) + b^{3} x e^{\left (3 \, n{\rm ln}\left (x\right )\right )}{\rm sign}\left (b x^{n} + a\right ) + 3 \, a b^{2} x e^{\left (2 \, n{\rm ln}\left (x\right )\right )}{\rm sign}\left (b x^{n} + a\right ) + 3 \, a^{2} b x e^{\left (n{\rm ln}\left (x\right )\right )}{\rm sign}\left (b x^{n} + a\right ) + a^{3} x{\rm sign}\left (b x^{n} + a\right )}{6 \, n^{3} + 11 \, n^{2} + 6 \, n + 1} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b^2*x^(2*n) + 2*a*b*x^n + a^2)^(3/2),x, algorithm="giac")

[Out]

(6*a^3*n^3*x*sign(b*x^n + a) + 2*b^3*n^2*x*e^(3*n*ln(x))*sign(b*x^n + a) + 9*a*b
^2*n^2*x*e^(2*n*ln(x))*sign(b*x^n + a) + 18*a^2*b*n^2*x*e^(n*ln(x))*sign(b*x^n +
 a) + 11*a^3*n^2*x*sign(b*x^n + a) + 3*b^3*n*x*e^(3*n*ln(x))*sign(b*x^n + a) + 1
2*a*b^2*n*x*e^(2*n*ln(x))*sign(b*x^n + a) + 15*a^2*b*n*x*e^(n*ln(x))*sign(b*x^n
+ a) + 6*a^3*n*x*sign(b*x^n + a) + b^3*x*e^(3*n*ln(x))*sign(b*x^n + a) + 3*a*b^2
*x*e^(2*n*ln(x))*sign(b*x^n + a) + 3*a^2*b*x*e^(n*ln(x))*sign(b*x^n + a) + a^3*x
*sign(b*x^n + a))/(6*n^3 + 11*n^2 + 6*n + 1)